CPSDebug: Automatic failure explanation in CPS models

Abstract Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS combine continuous discrete dynamics—a fault in physical component manifests itself very different way than state machine. Furthermore, faults can propagate both time space before they be detected at the observable interface of model. As consequence, explaining reason an observed failure challenging often requires domain-specific knowledge. In this paper, we propose approach, novel CPSDebug that combines testing, specification mining, analysis, to automatically explain failures Simulink/Stateflow models. particular, address hybrid nature by using methods infer properties from variables We evaluate on two case studies, involving main scenarios several classes faults, demonstrating potential value our approach.